Buy Used and New Fabrice Kordon Books

Models and Analysis for Distributed Systems

by Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci

ISBN 13: 9781848213142

Format: Illustrated (356 pages)
Publisher: Wiley-ISTE
Published: 10 Jun 2011

Save for later

Embedded Systems: Analysis and Modeling with SysML, UML and AADL (Electronics Engineering)

by Fabrice Kordon, Jérôme Hugues, Agusti Canals, Alain Dohet

ISBN 13: 9781848215009

Format: Illustrated (320 pages)
Publisher: Wiley-ISTE
Published: 16 Apr 2013

Save for later

Application and Theory of Petri Nets and Concurrency: 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings: 9698 (Lecture Notes in Computer Science)

by Fabrice Kordon, Daniel Moldt

ISBN 13: 9783319390857

Format: Paperback (364 pages)
Publisher: Springer
Published: 09 Jun 2016

Save for later

Challenges and Opportunity with Big Data: 19th Monterey Workshop 2016, Beijing, China, October 8 – 11, 2016, Revised Selected Papers: 10228 (Lecture Notes in Computer Science)

by Lin Zhang, Lei Ren, Fabrice Kordon

ISBN 13: 9783319619934

Format: Paperback (220 pages)
Publisher: Springer
Published: 04 Aug 2017

Save for later

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, ... 11429 (Lecture Notes in Computer Science)

by Dirk Beyer,Marieke Huisman,Fabrice Kordon,Bernhard Steffen

ISBN 13: 9783030175016

Format: Paperback (288 pages)
Publisher: Springer
Published: 04 Apr 2019

Save for later

Formal Methods for Embedded Distributed Systems: How to master the complexity

by Fabrice Kordon,Michel Lemoine

ISBN 13: 9781441954596

Format: Paperback (284 pages)
Publisher: Springer US
Published: 03 Aug 2010

Save for later

Formal Methods for Embedded Distributed Systems: How to master the complexity (The Kluwer International Series in Engineering & Computer Science)

by Fabrice Kordon,Michel Lemoine

ISBN 13: 9781402079962

Format: Illustrated (292 pages)
Publisher: Springer
Published: 15 Sep 1991

Save for later

Tools and Algorithms for the Construction and Analysis of Systems

by Bernhard Steffen,Fabrice Kordon,Marieke Huisman

ISBN 13: 9781013271205

Format: Paperback (280 pages)
Publisher: Saint Philip Street Press
Published: 08 Oct 2020

Save for later

Transactions on Petri Nets and Other Models of Concurrency XV: 12530 (Lecture Notes in Computer Science, 12530)

by Maciej Koutny, Fabrice Kordon, Lucia Pomello

ISBN 13: 9783662630785

Format: Paperback (202 pages)
Publisher: Springer
Published: 25 Feb 2021

Save for later

Transactions on Petri Nets and Other Models of Concurrency XVI: 13220 (Lecture Notes in Computer Science, 13220)

by Maciej Koutny,Fabrice Kordon,Daniel Moldt

ISBN 13: 9783662653029

Format: Paperback (158 pages)
Publisher: Springer
Published: 20 Apr 2022

Save for later